Workcraft: Ten Years Later

A large number of models that are employed in the field of concurrent systems’ design, such as Petri nets, Signal Transition Graphs, gate-level circuits, dataflow structures have an underlying static graph structure. Their semantics, however, is defined using additional entities, e.g. tokens or node/arc states, which collectively form the overall state of the system. We jointly refer to such formalisms as Interpreted Graph Models (IGMs). Workcraft is a framework for capturing, simulation, synthesis and analysis of IGMs. It provides an extendible cross-platform plugin-based front-end to a variety of computationally-intensive command-line backend tools. This paper gives the developers’ perspective on Workcraft and overviews its evolution.